(set-logic ALL)
(set-info :status sat)
(declare-fun d () (Tuple Int Int))
(assert (= (as set.empty (Relation Int Int)) (rel.join (set.singleton (tuple 1 0)) (set.singleton d))))
(check-sat)
